In Proceedings of the International Conference on Logic Programming , 1999
نویسندگان
چکیده
Existing explanation systems for deductive databases show forests of proof trees. Although proof trees are often useful, they are only one possible interesting representation. We argue that an explanation system for deductive databases must be able to generate explanations at several levels of abstraction. One possible and well known technique to achieve this exibility is to instrument meta-interpreters. It is, however, not often used because of its ineeciency. On the other hand, deductive databases often generate intermediate information stored in the physical database. This information can be considered as a low-level trace giving a faithful picture of what has happened at the relational level. The deductive reasoning is lost but can be very easily recovered by a meta-interpreter. In this article we describe a technique to generate explanations by integrating a relational trace and an instru-mented meta-interpreter. The expensive aspects of meta-interpretation are reduced by the use of the trace which avoids many costly calculations. The exibility of meta-interpretation is preserved, as illustrated by the generation of three diierent kinds of explanations: a box-oriented trace, a multi-SLD-AL tree and abstract AND trees. This technique enables powerful explanation systems to be implemented with very few modiications of the deductive database mechanism itself.
منابع مشابه
Proceedings of the 6th International Conference on Science and Social Research (CSSR)(Malaysia)
متن کامل
Proceedings of the First MEFOMP International Conference of Medical Physics: November 2-4, 2011, Shiraz, Iran
متن کامل
Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Thank you for downloading logic programming 22nd international conference iclp 2006 seattle wa usa august 17 2
متن کاملTechnical Communications of the 28 th International Conference on Logic Programming
We are proud to introduce this special issue of LIPIcs — Leibniz International Proceedings in Informatics, dedicated to the technical communications accepted for the 28th International Conference on Logic Programming (ICLP). 1998 ACM Subject Classification D.1.6 Logic Programming, I.2.3 Deduction and Theorem proving/Logic programming
متن کاملIntroduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue
We are proud to introduce this special issue of LIPIcs — Leibniz International Proceedings in Informatics, dedicated to the technical communications accepted for the 28th International Conference on Logic Programming (ICLP). 1998 ACM Subject Classification D.1.6 Logic Programming, I.2.3 Deduction and Theorem proving/Logic programming
متن کاملAlgebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings
In this age of modern era, the use of internet must be maximized. Yeah, internet will help us very much not only for important thing but also for daily activities. Many people now, from any level can use internet. The sources of internet connection can also be enjoyed in many places. As one of the benefits is to get the on-line algebraic and logic programming second international conference nan...
متن کامل